Correctness of Parallel Executions in Multidatabase Systems Ruled by Strict 2 Phase Locking
نویسندگان
چکیده
This paper addresses the problem of transaction management in multidatabase systems where the participating local DBMSs serialize transactions by 2 Phase-Locking (2PL) and synchronize their commit actions through a 2 Phase-Commit protocol (2PC). These DBMSs represent the majority of commercial relational and objectoriented DBMSs. We demonstrate that if local DBMSs support strict 2PL optimization (i.e., relax the read locks during the prepare phase of the 2PC protocol), then schedules of parallel global transactions may become nonglobally serializable. X/Open DTP protocol avoids the problem by adding a blocking synchronization phase at transaction end, thereby loosing the whole benefit of strict 2PL. This paper proposes two strategies to preserve the benefit of strict 2PL while ensuring correct executions.
منابع مشابه
Bounded Inconsistency for Type - Speci c Concurrency
The traditional correctness criterion of serializability in databases is considered too restrictive especially when databases are used to model advanced applications. In general, two approaches are adopted to address this problem. The rst approach considers placing more structure on data objects to exploit type speciic properties while keeping serializability as the correctness criterion. The o...
متن کاملA Formal Speci cation of the ConcurrencyControl in Real - Time Databases ( Stream : Foundations and Methodology ) ( Mini { track : Foundations of System Speci cation )
In the paper we present a formal model of real-time database (RTDB) systems using Duration Calculus (DC). First, we give a formal speciication of the correctness criterion for the executions of transaction systems and of the Two Phase Locking Concurrency Control Protocol (2PL-CCP). We also give a formal proof for the correctness of the 2PL-CCP using the DC proof system. Then, we present a forma...
متن کاملA Formal Specification of the Concurrency Control in Real-Time Databases
In the paper we present a formal model of real-time database (RTDB) systems using Duration Calculus (DC). First, we give a formal specification of the correctness for the executions of transaction systems and the Two Phase Locking Concurrency Control Protocol (2PL-CCP). We also give a formal proof for the correctness of the 2PL-CCP using the DC proof system. Then, we present a formal descriptio...
متن کامل2PC Agent Method: Achieving Serializability in Presence of Failures in a Heterogeneous Multidatabase
A method for integrated concurrency control and recovery, applicable to heterogeneous multidatabase systems is proposed1. The role of the participant in the two-phase commit protocol is laid on an entity called 2PC Agent associated with the local database system. The main importance of the method is in preserving global serializability in the presence of unilateral aborts and site failures. The...
متن کاملSerializability in Multidatabases
Transaction management in a multidatabase environment is extremely costly due to network transmission costs and the handling of replicas. Conventional databases enforce consistency by strict locking and commit protocols which guarantee that the data is always consistent and trustworthy. Implementation of these protocols in a distributed environment using global locking and two-phase commit, pro...
متن کامل